Closed Structure
نویسندگان
چکیده
Abstract According to the structured theory of propositions, if two sentences express same proposition, then they have syntactic structure, with corresponding constituents expressing entities. A number philosophers recently focused attention on a powerful argument against this theory, based result by Bertrand Russell, which shows that propositions is inconsistent in higher order-logic. This paper explores response argument, involves restricting scope claim are structured, so it does not hold for all whatsoever, but only those expressible using closed given formal language. We call restricted principle Closed Structure , and show consistent classical higher-order logic. As schematic principle, strength dependent chosen For its consistency be philosophically significant, also needs every extension language theorist apt accept. But, we go show, fact very natural standard logic, adds resources plural talk propositions. conclude particular strategy compelling Russell’s result, though note some applications, instance propositional attitudes, thesis vicinity may promise.
منابع مشابه
Closed benchmarks for network community structure characterization
Characterizing the community structure of complex networks is a key challenge in many scientific fields. Very diverse algorithms and methods have been proposed to this end, many working reasonably well in specific situations. However, no consensus has emerged on which of these methods is the best to use in practice. In part, this is due to the fact that testing their performance requires the ge...
متن کاملStructure determination of the phiX174 closed procapsid.
The structure of a procapsid of the single-stranded DNA bacteriophage ++phiX174 was determined to 3.5 A resolution. The crystal space group was I213 with a unit-cell length of 774 A. The unit cell contained 16 icosahedral virus particles, each situated on a crystallographic threefold axis. Thus, there are two independent one-thirds of a particle per asymmetric unit, and a total of 40-fold non-c...
متن کاملThe Structure of Conjugacy Closed Loops
We study structure theorems for the conjugacy closed (CC-) loops, a specific variety of G-loops (loops isomorphic to all their loop isotopes). These theorems give a description all such loops of small order. For example, if p and q are primes, p < q, and q − 1 is not divisible by p, then the only CC-loop of order pq is the cyclic group of order pq. For any prime q > 2, there is exactly one non-...
متن کاملStructure in minor-closed classes of matroids
This paper gives an informal introduction to structure theory for minorclosed classes of matroids representable over a fixed finite field. The early sections describe some historical results that give evidence that well-defined structure exists for members of such classes. In later sections we describe the fundamental classes and other features that necessarily appear in structure theory for mi...
متن کاملReal Closed Fields with Nonstandard Analytic Structure
We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2021
ISSN: ['1573-0433', '0022-3611']
DOI: https://doi.org/10.1007/s10992-021-09598-5